from pydantic import BaseModel
from typing import List, Dict
from openai import Agent

class OCDSL(BaseModel):
    contracts: List[Dict[str, str]]

agent_ocl = Agent(
    name="OCLGenerator",
    instructions="为关键操作生成OCL合约DSL。",
    output_type=OCDSL,
    model="gpt-4o"
)